f7b91592123f70d5b134c4e9943f92428612e299,k-distribution/src/test/java/org/kframework/utils/KoreUtils.java,KoreUtils,stepRewrite,#K#Optional#,112

In pattern: SUPERPATTERN

Frequency: 3

Non-data size: 3


Instances


1484512377
msaxena2@illinois.edu
kframework/k,f7b91592123f70d5b134c4e9943f92428612e299,k-distribution/src/test/java/org/kframework/utils/KoreUtils.java,KoreUtils,stepRewrite,#K#Optional#,112


1484512377
msaxena2@illinois.edu
kframework/k,f7b91592123f70d5b134c4e9943f92428612e299,k-distribution/src/test/java/org/kframework/utils/KoreUtils.java,KoreUtils,getRewriter,#,117


1484512377
msaxena2@illinois.edu
kframework/k,f7b91592123f70d5b134c4e9943f92428612e299,API/src/main/java/org/kframework/Kapi.java,Kapi,rewriteOrig,#K#CompiledDefinition#number#,176